Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Source URL: www.cs.ru.nl

• Type theory
• Computability theory
• Functional programming
• Theoretical computer science
• Recursion
• Initial algebra
• Lambda calculus
• Primitive recursive function
• Inductive type
• Catamorphism
• F-algebra

Initial Algebra Semantics for Cyclic Sharing Structures Makoto Hamana Department of Computer Science, Gunma University, Japan

Source URL: www.cs.gunma-u.ac.jp

Nat. Hazards Earth Syst. Sci., 15, 1251–1263, 2015 www.nat-hazards-earth-syst-sci.netdoi:nhess © Author(sCC Attribution 3.0 License. Inversion method for initial tsunami wa

Source URL: www.nat-hazards-earth-syst-sci.net

• Mathematics
• Regression analysis
• Least squares
• Linear algebra
• Estimation theory
• Statistical models
• Inversive geometry
• Inverse problem
• Inverse

arXiv:submitmath.AG] 19 FebAbsolute algebra and Segal’s Gamma sets Alain Connes and Caterina Consani Abstract We show that the basic categorical concept of an s-algebra as derived from the theory

Source URL: www.alainconnes.org

• Functor
• Adjoint functors
• Sheaf
• Initial and terminal objects
• Valuation
• Category of abelian groups
• Grothendieck topology
• Coproduct
• Tensor product
• Abstract algebra
• Algebra
• Category theory

BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and

Source URL: www.brics.dk

• Universal property
• Lambda calculus
• Functor
• Combinatory logic
• Initial algebra
• Function
• Equivalence of categories
• Sheaf
• Coproduct
• Mathematics
• Category theory
• Abstract algebra

Exponentiable functors between quantaloid-enriched categories Maria Manuel Clementino∗, Dirk Hofmann† and Isar Stubbe‡ July 3, 2007§ Abstract. Exponentiable functors between quantaloid-enriched categories are

Source URL: www-lmpa.univ-littoral.fr

• Adjoint functors
• Functor
• Universal property
• Limit
• Sheaf
• Equivalence of categories
• Initial and terminal objects
• Monad
• Complete Heyting algebra
• Abstract algebra
• Category theory
• Mathematics

Release Notes for the GSS 2014 Merged Data, Release 1 May 29, 2015 About This Data File This data file has all cases and variables asked in GSSThere are a total of 3,842 cases in GSS 2014 but their initial samplin

Source URL: publicdata.norc.org

• Logical syntax
• Gender role
• Mathematics
• Variables
• Algebra

A CATEGORICAL CONSTRUCTION OF ULTRAFILTERS arXiv:0710.2497v2 [math.CT] 13 May 2009 DANIEL LITT, ZACHARY ABEL, AND SCOTT D. KOMINERS

Source URL: zacharyabel.com

• Abstract algebra
• Ultrafilter
• Filter
• Inverse limit
• Fréchet filter
• Limit
• Initial and terminal objects
• Ideal
• Sheaf
• Mathematics
• Order theory
• Structure

Initial-Condition Estimation in Network Synchronization Processes: Algebraic and Graphical Characterizations of the Estimator

Source URL: www.complex-systems.com

• Mathematics
• Statistical theory
• Statistical inference
• Signal processing
• Maximum likelihood
• Laplacian matrix
• Estimator
• Bias of an estimator
• Eigenvalues and eigenvectors
• Statistics
• Algebra
• Estimation theory

Appendix F Smoothness with Respect to Initial Conditions Suppose that 𝑉 is a 𝐶 1 vector field on R𝑛 and assume that the

Source URL: vmm.math.uci.edu

• Abstract algebra
• Linear algebra
• Functions and mappings
• Differential calculus
• Calculus of variations
• Vector space
• Linear map
• Differential equation
• Continuous function
• Algebra
• Mathematics
• Mathematical analysis